\begin{tabbing}
(\=(Auto$\cdot$) \+
\\[0ex]CollapseTHEN (Unfold `mu$\backslash$'` 
\-\\[0ex]0\=)$\cdot$) \+
\\[0ex]CollapseTHEN (Subst' 
\-\\[0ex]TERMOF\{p{-}mu{-}decider:ObjectId, 1:l, 1:l\} $\sim$ TERMOF\{p{-}mu{-}decider:ObjectId, 1:l, i:l\} ( 0)$\cdot$)$\cdot$
\end{tabbing}